4 found
Order:
  1.  54
    On the Ramsey property for sets of reals.Ilias G. Kastanas - 1983 - Journal of Symbolic Logic 48 (4):1035-1045.
    We review some known results about the Ramsey property for partitions of reals, and we present a certain two-person game such that if either player has a winning strategy then a homogeneous set for the partition can be constructed, and conversely. This gives alternative proofs of some of the known results. We then discuss possible uses of the game in obtaining effective versions of Ramsey's theorem and prove a theorem along these lines.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  19
    Initial segments of ▵12n + 1-degrees.Ilias G. Kastanas - 1988 - Journal of Symbolic Logic 53 (1):259 - 268.
    A standard result about hyperdegrees is proved (under PD) for all ▵ 1 2n + 1 -degrees.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  4
    Initial Segments of $triangle^1_{2n + 1}$-Degrees.Ilias G. Kastanas - 1988 - Journal of Symbolic Logic 53 (1):259-268.
    A standard result about hyperdegrees is proved (under PD) for all $\triangle^1_{2n + 1}$-degrees.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  7
    Initial segments of Δ 2n+1 1-degrees.Ilias G. Kastanas - 1988 - Journal of Symbolic Logic 53 (1):259-268.
    A standard result about hyperdegrees is proved for allΔ2n+11-degrees.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark